Books by author Gilles Barthe

Showing 1 – 14 out of 14 results

1. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.68 €

   Buy
2. 

   Verification, Model Checking, and Abstract Interpretation

   Gilles Barthe, Manuel Hermenegildo | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.68 €

   Buy
3. 

   Foundations of Probabilistic Programming

   Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva | Cambridge University Press, 2020

   
   

   Print on demand - Shipping in 17 - 26 days

   Language: English

   Binding: Hardback

   85.14 €

   Buy
4. 

   Software Engineering and Formal Methods

   Gilles Barthe, Alberto Pardo, Gerardo Schneider | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   57.19 €

   Buy
5. 

   Applied Semantics

   Gilles Barthe, Peter Dybjer, Luis Pinto | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet | Springer, Berlin, 2005

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
7. 

   Trustworthy Global Computing

   Gilles Barthe, Cédric Fournet | Springer, Berlin, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
8. 

   Formal Methods for Open Object-Based Distributed Systems

   Gilles Barthe | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
9. 

   Security and Trust Management

   Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner | Springer, Berlin, 2011

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   63.25 €

   Buy
10. 

    Programming Languages and Systems

    Gilles Barthe | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

    
    

    50/50 - We search the world

    Language: English

    Binding: Paperback

    57.19 €

    Buy
11. 

    Engineering Secure Software and Systems

    Gilles Barthe, Ben Livshits, Riccardo Scandariato | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    55.88 €

    Buy
12. 

    Foundations of Security Analysis and Design V

    Alessandro Aldini, Gilles Barthe, Roberto Gorrieri | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Paperback

    50.84 €

    Buy
13. 

    Security and Trust Management

    Gilles Barthe, Evangelos Markatos, Pierangela Samarati | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.54 €

    Sale 7 %

    You save 4.27 €

    Buy
14. 

    Formal Aspects of Security and Trust

    Gilles Barthe, Anupam Datta, Sandro Etalle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    70.71 €

    Buy

We inform you about all changes of your order. Find out more